integral function

The proof in the case of a rational non-integral function is somewhat more complicated.

The general infinitesimal operation of the group is therefore ƒ(x)(d/dx), where ƒ(x) is an arbitrary integral function of x.